Nuprl Definition : locknd 11,40
locknd(i;k) == kindcase(k; a.<i, k>; l,tg.<destination(l), k> ) 
latex

Definitionskindcase(k; a.f(a); l,t.g(l;t) ), <a, b>, destination(l)
FDL editor aliaseslocknd

origin